退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用约束逻辑编程和程序转换有效生成测试数据结构
Fabio Fioravanti; Maurizio Proietti; Valerio Senni;
机译:ATGen:使用约束逻辑编程和符号执行自动生成测试数据
机译:使用约束逻辑编程自动生成测试用例中的前导码
机译:使用约束逻辑编程生成测试数据结构
机译:使用约束编程来增强测试数据的生成。
机译:约束逻辑程序设计方法用于蛋白质结构预测
机译:使用约束逻辑编程生成测试数据结构⋆
机译:可编程逻辑器件集成电路的约束驱动测试生成
机译:测试图案生成装置,测试程序生成装置,生成方法,程序以及有效生成测试程序的测试装置
机译:使用第二可编程逻辑设备的视频处理模块,该第二可编程逻辑设备重新配置第一可编程逻辑设备以进行数据转换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。